abstract data type in java